21. The Imperative future :principles of executable temporal logic
Author: edited by Howard Barringer ... ]et al.[
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
D47
I47
1996
22. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
23. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
24. The logic of programming
Author: Hehner, Eric C. R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H427
1984
25. The logic of programming
Author: Hehner, Eric C. R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H427
1984
26. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
27. The logical basis for computer programming
Author: Manna, Zohar
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M35595
1985
28. The logical basis for computer programming
Author: Manna, Zohar
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M35595
1985
29. Truth, deduction, and computation
Author: / R.E. Davis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
Classification :
QA76
.
7
.
D386
1989
